Applying Design Patterns to Object-z Speciications of User-interfaces
نویسنده
چکیده
Patterns provide an informal approach to the design of software. However patterns are compatible with more formal techniques for speciication. In this paper we describe a set of patterns for developing object-oriented software designs for user-interfaces and show how these patterns can be applied using Object-Z speciications as a guide. Collectively the patterns generate an interactor-based architecture. By describing the applicability of the patterns in terms of Object-Z, we enhance the acceptability of Object-Z for specifying user-interfaces. We provide examples relating the patterns to the design of a le browser from a corresponding Object-Z speciication.
منابع مشابه
An Approach to Animating Model-based Object-oriented Formal Speciications
| One of the important issues in the application of formal notations in software development is the validation of formal speciications against the informal customer requirements. Animation has been proposed as one of the techniques for achieving this goal. This paper describes an approach to animating object-oriented model-based formal speciications as well as a research prototype of an animati...
متن کاملAn Object-Oriented Development Framework for Z
This paper presents a framework for developing Z speciications in an object-oriented style. Within the framework, object-oriented concepts and design strategies are captured by the application of development operators. The framework also records the history of operator application enabling \classes" to be identiied and, hence, the possibility of modular veriication and reenement.
متن کاملEngineering multimedia user interfaces with objects and patterns
In this paper we discuss the use of an object-oriented design model to describe multimedia user interfaces. Our approach is complemented with a set of design patterns aimed at capturing recurrent interface design problems together with good solutions to those problems. We first introduce the problem of designing usable multimedia interfaces; we then present the Object-Oriented Hypermedia Design...
متن کاملAutomatic Generation of User Interfaces from Data Structure Speciications and Object-oriented Application Models
Applications in scientiic computing operate with data of complex structure and graphical tools for data editing, browsing and visualization are necessary. Most approaches to generating user interfaces provide some interactive layout facility together with a specialized language for describing user interaction. Realistic automated generation approaches are largely lacking, especially for applica...
متن کاملA New Trust Model for B2C E-Commerce Based on 3D User Interfaces
Lack of trust is one of the key bottle necks in e-commerce development. Nowadays many advanced technologies are trying to address the trust issues in e-commerce. One among them suggests using suitable user interfaces. This paper investigates the functionality and capabilities of 3D graphical user interfaces in regard to trust building in the customers of next generation of B2C e-commerce websit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996